body h1, body h2, body h3 {
line-height:1.3;
}

h1, h2, h3 {
color:#990000;
}

h1 {
font-size:2em;
font-weight:bold;
}

html body {
line-height:1.2;
}

html, div {
display:block;
}

body blockquote {
line-height:1.5;
margin-bottom:0.75em;
margin-top:0.75em;
}

html body {
line-height:1.2;
margin:1em 8% 1em 10%;
}

tt, code, kbd, samp {
font-family:-moz-fixed;
}

body pre {
font-family:monospace;
line-height:1;
margin:0.75em 0;
}

a:link, a:visited {
color:#0000EE;
text-decoration: underline;
}

div.box {
background-color:#F9F9F9;
border:1px dashed #2F6FAB;
color:black;
line-height:1.1em;
padding:1em;
}

.CODELISTING {
background-color:#DEE3E7;
padding:4px;
}